perm filename OMEGA[F82,JMC]1 blob sn#688567 filedate 1982-11-19 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	omega[f82,jmc]		Chess win in omega moves
C00003 ENDMK
C⊗;
omega[f82,jmc]		Chess win in omega moves

.k.....
.......
QPP....
PPb....
.r.....
K......
.......

.k.....
.......
QPP....
rr.....
P......
K......
.......

	A. Ehrenfeucht has wins of rank  omega.n.  omega↑2.  The
only reference, according to Jon Barwise, was his review of
Elementary Induction in Abstract Structures by Yiannis Moschavakis.
This review appeared in 1975 in the Bulletin of the American
Mathematical Society.